# How to install Linux Libre (Realtime / RT kernel) on Devuan

Devuan is a Debian based distro with init freedom. It uses SysVinit by default and not SystemD as it's init system.

_**Note to self:** Try downloading ISO from the `installer-iso` folder. e.g. [https://mirror.leaseweb.com/devuan/devuan_ascii/installer-iso/](https://mirror.leaseweb.com/devuan/devuan_ascii/installer-iso/). When installing keep Domain empty if not sure._

`sudo nano /etc/apt/sources.list.d/linux-libre.list`
```
deb mirror://linux-libre.fsfla.org/pub/linux-libre/liberty/mirrors.txt liberty main
```

Install `dirmngr` to import GPG key without issues:
```
sudo apt install -y dirmngr
```

Install the GPG key for the repository:
```
sudo apt-key adv --keyserver pool.sks-keyservers.net --recv-keys F611A908FFA165C699584ED49D0DB31B545A3198
```

Run `apt-key finger` and see if it shows this fingerprint:
```
F611 A908 FFA1 65C6 9958 4ED4 9D0D B31B 545A 3198
```

Now update and install linux-libre
```
sudo apt update && sudo apt install linux-libre-rt
```

If you need linux headers, then:
```
sudo apt install linux-libre-rt-headers
```

I checked `uname -r` and it said `4.9.0-6-amd64`.

Now reboot. On Grub menu, advanced options, you should see an option with `...gnu-rt24`. This is our newly installed kernel. Now `uname -r` should say something like `4.19.59-gnu-rt24`.

Source: https://www.fsfla.org/ikiwiki/selibre/linux-libre/liberty.en.html
